Nuprl Definition : es-Msg
0,22
postcript
pdf
Msg == Msg(es-M(
es
))
latex
clarification:
es-Msg(
es
) == Msg(es-M(
es
))
latex
Definitions
Msg(
M
)
,
es-M(
es
)
FDL editor aliases
es-Msg
origin